rules for solving exercises
نویسندگان
چکیده
General rules for solving exercises This is a theory course, which means: if an exercise does not explicitly say \you do not need to prove your answer" or \justify intuitively", then a formal proof is always required. All exercises and their solutions, no matter whether they are graded or regular/optional ones, are part of the material relevant for the two exams. Some of the exercises are marked as "in-class", which means that we do not expect you to solve them before the exercise session. Instead, your teaching assistant will solve them with you in class. You are highly encouraged to solve all other exercises (those not marked as "in-class") on your own and to hand in a writeup of your solutions no later than the due date. If you choose to do so, please write the name of your teaching assistant on the front sheet.
منابع مشابه
Learning Relational Rules for Goal Decomposition
Hierarchical decomposition of goals into subgoals using goal decomposition rules is a familiar problem-solving technique in relational domains. In this paper we describe two methods that learn goal-decomposition rules in the relational setting. The rst method learns decomposition rules from teacher-supplied examples, i.e., problems and solutions. The second method learns them from exercises, wh...
متن کاملLearning Goal-Decomposition Rules using Exercises
Teaching problem-solving through exercises is a widely used pedagogic technique. A human teacher selects certain problems and orders them according to their level of difficulty to form a sequence of exercises. A student starts by solving simple problems first; then, attempts harder problems applying the knowledge gained from solving the earlier problems; and then still harder problems, and so o...
متن کاملRule-based expert systems to support step-by-step guidance in algebraic problem solving: The case of the tutor PAT2Math
In order for an Intelligent Tutoring System (ITS) to correct students’ exercises, it must know how to solve the same type of problems that students do and the related knowledge components. It can, thereby, compare the desirable solution with the student’s answer. This task can be accomplished by an expert system. However, it has some drawbacks, such as an exponential complexity time, which impa...
متن کاملSpecifying Rewrite Strategies for Interactive Exercises
Strategies specify how a wide range of exercises can be solved incrementally, such as bringing a logic proposition to disjunctive normal form, reducing a matrix, or calculating with fractions. In this paper we introduce a language for specifying strategies for solving exercises. This language makes it easier to automatically calculate feedback, for example when a user makes an erroneous step in...
متن کاملStrategies for Exercises
Strategies specify how a wide range of exercises can be solved incrementally, such as bringing a logic proposition to disjunctive normal form, reducing a matrix, or calculating with fractions. In this paper we introduce a language for specifying strategies for solving exercises. This language makes it easier to automatically calculate feedback, for example when a user makes an erroneous step in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014